Reducing the calculation workload of the Green function for electromagnetic scattering in a Schwarzschild gravitational field
Jia Shou-Qing
School of Computer Science and Engineering, Northeastern University, Shenyang 110819, China

 

† Corresponding author. E-mail: jiashouqing@neuq.edu.cn

Abstract

When the finite difference time domain (FDTD) method is used to solve electromagnetic scattering problems in Schwarzschild space-time, the Green functions linking source/observer to every surface element on connection/output boundary must be calculated. When the scatterer is electrically extended, a huge amount of calculation is required due to a large number of surface elements on the connection/output boundary. In this paper, a method for reducing the calculation workload of Green function is proposed. The Taylor approximation is applied for the calculation of Green function. New transport equations are deduced. The numerical results verify the effectiveness of this method.

1. Introduction

It is important to understand the property of the electromagnetic waves in gravitational filed[16] for electromagnetic-wave-based communication between spacecraft in deep space. Numerical simulations of electromagnetic waves in curved space-time have been exploited by researchers. The electromagnetic particle-in-cell (EMPIC) algorithm is used to study the physics of high-frequency electromagnetic waves in a general relativistic plasma with the Schwarzschild metric.[7] The Kerr–Schild metric is incorporated into the EMPIC code for the simulation of charged particles in the region of a spinning black hole.[8] Finite difference time domain (FDTD) method and Green function method (GFM) were extended to Schwarzschild space-time in Ref. [9]. They were applied to electromagnetic scattering problems (not by black holes) in Ref. [10].

When solving electromagnetic scattering problems (not by black holes) in Schwarzschild space-time by FDTD and GFM, which have been introduced in Refs. [9] and [10], all of the Green functions linking source/observer to every surface element on connection/output boundary should be calculated (Fig. 1(a)). For an electrically extended scatterer, a large amount of calculation is required due to the huge number of surface elements on the connection/output boundary. A method to reduce the amount of calculation of Green function is proposed in this paper. The Taylor approximation is applied for the calculation of Green function in Section 2.

Fig. 1. Green function linking source/observer to connection/output boundary. (a) Before approximation; (b) after approximation.

The main computational cost of solving the Green function is to solve differential equations numerically. After using the Taylor approximation, only the value of Green function at the center of the region needs to be numerically solved, while the value of the Green function at other points can be obtained directly by Taylor approximation, without the need to numerically solve the differential equation, thereby greatly reducing the amount of computation.

The classical Runge–Kutta method is applied to solve differential equations numerically. The complexity is O(n), where n is the number of grids. The method proposed in this paper does not reduces the complexity but also reduces the scale of the problem.

Green function’s partial derivatives should be calculated before using the Taylor approximation. The partial derivatives can be expressed with covariant derivatives. These quantities cannot be calculated using the old version program. The transport equations for these quantities are deduced in Section 3. The numerical examples in Section 4 verify the effectiveness of this method.

The symbols in this paper are the same as those in Refs. [9] and [10].

2. Taylor approximation for the Green function

The Green function in curved space-time is[1114]

In the above expression, the bi-scalar is Synge’s world function[15] which is defined as half the square geodesic distance between the points x and , and are two bi-tensors, (δ is Dirac function, and θ is the step function

Generally, the source and observer are far away from the scatterer, so the Green function linking source/observer to a point on connection/output boundary changes only slightly spatially. Therefore, only the Green function linking source/observer to the midpoint on connection/output boundary needs to be calculated, and the Green function linking source/observer to the other points on connection/output boundary can be obtained with Taylor approximation. By taking as an example, the following expression can be derived:

where denotes the coordinate of the source/observer, denotes the coordinate of a point near , x denotes the coordinate of the midpoint of connection/output boundary, and x + d denotes the coordinate of a point near x (Fig. 1(b)). The spatial coordinates and are known. However, the temporal coordinates and d0 are unknown. The Schwarzschild space-time is a static space-time, in which time interval is irrelevant to the starting point of time. Accordingly, it can be set . The temporal coordinate d0 can be acquired in the following way.

By taking Synge’s world function (σ as a Taylor expansion, the following expression can be derived:

where Q is quadratic term
The Synge’s world function of the null geodesic is equal to zero; i.e., . By ignoring higher order terms in Eq. (4), the following equation is acquired:
By substituting into the above equation, the expression of d0 is acquired
where the indices i and vary from 1 to 3.

The approximation error can be evaluated by the quadratic term Q in Eq. (4). Let us set and , by substituting Eqs. (5) and (7) into inequation

we obtain
For a specified approximation error ϵ, the permissible spatial range can be acquired by the above formula. The connection/output boundary can be divided into subareas based on as shown in Fig. 2. The Green function linking source/observer to the midpoint of these subareas can then be calculated, while the Green function linking source/observer to the other points on connection/output boundary can be obtained by Taylor approximation.

Fig. 2. Subareas on connection/output boundary.
3. Transport equations

Using Green function method, eight quantities should be calculated (Eq. (57) in Ref. [9])

Their partial derivative on x and should be calculated before using Taylor approximation. The partial derivative can be expressed with covariant derivative. Taking as an example, it can be calculated as
In the above equation, cannot be calculated using the old version program. The quantities that cannot be calculated with the old version program include
Their transport equations are deduced as below.

3.1. Transport equation for

Equation (59) in Ref. [9] can be rewritten as

Differentiating the above equation with respect to , we obtain
The initial value problem for can be acquired from the above equation
We can obtain the limit formula
from the covariant expansion of
where denotes coincidence limit .[11] We can obtain the limit formula
from the covariant expansion of
The expression of coincidence limit and can be found in Ref. [11].

3.2. Transport equation for

Differentiating Eq. (28) in Ref. [9] with respect to , we obtain

The initial value problem for is

3.3. Transport equation for

Differentiating Eq. (20) with respect to , we obtain

The initial value problem for is
We can write the following covariant expansion:
Using Ricci identity,[1517] we obtain the limit formula from the above equation
The coincidence limits in the above equation can be acquired by applying Synge’s rule[11] on Eq. (44) in Ref. [9].

3.4. Transport equation for

Differentiating Eq. (34) in Ref. [9] with respect to , we obtain

The initial value problem for is
We can write the following covariant expansion:
Using Ricci identity, we obtain the limit formula

3.5. Transport equation for

Differentiating Eq. (34) in Ref. [9] and commuting covariant derivatives, we obtain

Differentiating the above equation with respect to , we obtain the initial value problem for
We can write the following covariant expansion:
Using Ricci identity and Bianchi identity,[15] we obtain the limit formula
The coincidence limit can be derived by differentiating for six times, and then taking coincidence limit. The coincidence limit can be acquired by applying Synge’s rule.

3.6. Transport equation for

Differentiating Eq. (28) with respect to x, we obtain the initial value problem for

We can write the following covariant expansion:
Using Ricci identity and Bianchi identity, we obtain the limit formula

3.7. Transport equation for

By swapping x and in Eq. (21) in Ref. [9], we obtain

Differentiating the above equation with respect to and commuting covariant derivatives, we obtain
Differentiating the above equation with respect to , we obtain the initial value problem for
We can write the following covariant expansion:
from which we can obtain the limit formula
where denotes limit . is the product of parallel propagator and Van Vleck determinant[11]
Differentiating the above equation and then taking coincidence limit, we can acquire the coincidence limit of ’s covariant derivative of each order.

3.8. Transport equation for

Differentiating Eq. (30) in Ref. [9] with respect to , we obtain the initial value problem for

We can write the following covariant expansion:
from which we can obtain the limit formula
where denotes limit .

3.9. Transport equation for

Differentiating Eq. (30) in Ref. [9] with respect to x, we obtain

Differentiating the above equation with respect to , we obtain the initial value problem for
We can write the following covariant expansion:
from which we can obtain the limit formula

3.10. Transport equation for

Differentiating Eq. (40) with respect to x, we obtain the initial value problem for

We can write the following covariant expansion:
from which we can obtain the limit formula

3.11. Transport equation for

Differentiating the second equation of Eq. (23) in Ref. [9] with respect to , we obtain

The initial value problem for is
We have limit formula
where can be acquired by differentiating Eq. (45) and then taking the coincidence limit. The limit formula
can be acquired by the covariant expansion of .

3.12. Transport equation for

Differentiating the second equation of Eq. (23) in Ref. [9] with respect to x, we obtain

The initial value problem for is
We have limit formulas which are similar to Eqs. (47) and (48)

4. Numerical results

The computing platform is configured as follows. CPU: Intel Xeon E3-1240 v3; memory: 32GB; operating system: Windows 10 professional; language: MATLAB.

The first example is to validate the connection boundary. The Schwarzschild radius is set to 1 m. There is no scatterer in FDTD domain (Fig. 3). The FDTD mesh size is set to 0.02 m. The FDTD domain is: 5 m to 6 m in the x direction, −0.5 m to 0.5 m in the y direction, and −0.5 m to 0.5 m in the z direction. The number of perfectly matched layer (PML) is set to 10. The connection boundary is: x=5.5±0.2 m, y=±0.2 m, and z=±0.2 m. A z-directed electric dipole is placed at Ps (20 m, 0 m, 0 m) (the midpoint of the two charges). The waveform of charge is a Gaussian pulse

where C and σ=0.966 ns. The z component of the electric field at P (5.5 m, 0 m, 0 m) is calculated by FDTD method with Taylor approximation and Green function method without approximation (calculate Green function linking Ps to P). The approximation error ϵ is set to 0.01. The results are shown in Fig. 4 in which the horizontal axis represents the light speed multiplying time (the unit is meter).

Fig. 3. Validating the connection boundary.

To calculate the single point Green function, the old program needs to calculate 8 quantities (see Eq. (10). In the new version, it needs to calculate 20 quantities (see Eqs. (10) and (12), which is 2.5 times as much as the old version. This is only a rough estimation because the time required to calculate different quantities is also different. Although the new version for the single point Green function is more computational, it needs to calculate a lot fewer points than the old version. In this example, there are 20×20×6=2400 elements on the connection boundary, so the old version program needs to calculate the Green function at 2400 points. The new version program only needs to calculate the Green function at six central points on the connection boundary; i.e., 1/400 of the old version. Therefore, the calculation amount of the new version is about 2.5/400=0.625% of the old version. The time comparison between the new version and the old one are shown in Table 1.

Table 1.

Time comparison for connection boundary.

.

When changing the waveform of source into a differential Gaussian pulse

and the results are shown in Fig. 5.

The second example is to validate the output boundary. The Schwarzschild radius is set to 1 m. A z-directed electric dipole is placed at Ps (5.5 m, 0 m, 0 m). The waveform of charge is a Gaussian pulse with C and σ=0.966 ns (Eq. (53). The FDTD mesh size is set to 0.02 m and the number of PML layers is set to 10. The FDTD domain is: 5 m to 6 m in the x direction, −0.5 m to 0.5 m in the y direction, and −0.5 m to 0.5 m in the z direction. The output boundary is: x=5.5±0.02 m, y=±0.02 m, and z=±0.02 m (Fig. 6). The z component of the electric field at P (20 m, 0 m, 0 m) is calculated with FDTD method with Taylor approximation and Green function method without approximation (calculate Green function linking Ps to P). The approximation error ϵ is set to 0.01. The results are shown in Fig. 7. The pulse amplitude of this example is several orders smaller than that of the first one. According to Eq. (12) in Ref. [9], the closer to the event horizon, the greater the equivalent permittivity and permeability, and the greater the energy density. Therefore, the magnitude of the response is the same order of magnitude as that of the first example. The number of surface element on output boundary is 20×20×6. With the new version program, only the six midpoints are calculated. The time comparison between the new method and the old one is shown in Table 2.

Fig. 6. Validating the output boundary.
Table 2.

Time comparison for output boundary.

.

The third example is scattering by a thin plate. The size of the thin perfectly electric conductor (PEC) plate is 0.28 m×0.28 m. It spreads out in the plane x=5.5 m (Fig. 8), and the center is located at (5.5 m, 0 m, 0 m). The Schwarzschild radius is set to 1 m. A z-directed electric dipole is placed at P (20 m, 0 m, 0 m). The waveform of charge is a Gaussian pulse with A = 1 C and σ=0.483 ns (Eq. (53). The FDTD mesh size is set to 0.01 m, and the number of PML layers is set to 10. The FDTD domain is: 5.25 m to 5.75 m in the x direction, −0.35 m to 0.35 m in the y direction, and −0.35 m to 0.35 m in the z direction. The connection boundary is: x=5.5±0.05 m, y=±0.17 m, and z=±0.17 m. The output boundary is: x=5.5±0.1 m, y=±0.2 m, and z=±0.2 m. The approximation error ϵ is set to 0.01. The number of surface element on connection boundary is 34×34×2+10×34×4 and the number of surface element on output boundary is 40×40×2+20×40×4. With the new version program, only the six midpoints of connection boundary and the six midpoints of output boundary are calculated for Green function. The time comparison between the new method and the old one is shown in Table 3. The z component of the scattered electric field (both in time domain and frequency domain) at P is shown in Fig. 9. The scattered electric field in flat space-time is also shown in Fig. 9. The effective light speed is smaller than that in flat space-time. This leads to time delay which is shown in Fig. 9(a). The inhomogeneity leads to pulse broading in time domain and red shift in frequency domain, which is shown in Fig. 9(b).

Fig. 8. Scattering by a thin PEC plate.
Fig. 9. Ez at P. (a) Time domain and (b) frequency domain.
Table 3.

Time comparison for scattering.

.
5. Summary and discussion

To reduce the computation workload of the Green function, the Taylor approximation is applied. The transport equations for Green function’s covariant derivatives are deduced. The connection/output boundary can be divided into subareas. The Green function linking source/observer to the midpoint of these subareas can then be calculated, while the Green function linking source/observer to the other points on connection/output boundary can be obtained through Taylor approximation. The numerical results verify the effectiveness of this method. Although the amount of computation of single point’s Green function is increased, the total computation workload is greatly reduced because the number of computation points for Green function is greatly reduced, which is helpful in calculating the scattering of electrically extended objects.

Reference
[1] Plebanski J 1960 Phys. Rev. 118 1396 https://doi.org/10.1103/PhysRev.118.1396
[2] Loeb A 2010 Phys. Rev. D 81 047503 https://doi.org/10.1103/PhysRevD.81.047503
[3] Nakajima K Izumi K Asada H 2014 Phys. Rev. D 90 084026 https://doi.org/10.1103/PhysRevD.90.084026
[4] Batic D Nelson S Nowakowski M 2015 Phys. Rev. D 91 104015 https://doi.org/10.1103/PhysRevD.91.104015
[5] Fleury P Pitrou C Uzan J P 2015 Phys. Rev. D 91 043511 https://doi.org/10.1103/PhysRevD.91.043511
[6] Morris J R Schulze-Halberg A 2015 Phys. Rev. D 92 085026 https://doi.org/10.1103/PhysRevD.92.085026
[7] Daniel J Tajima T 1997 Phys. Rev. D 55 5193 https://doi.org/10.1103/PhysRevD.55.5193
[8] Watson M Nishikawa K I 2010 Comput. Phys. Commun. 181 1750 https://doi.org/10.1016/j.cpc.2010.06.034
[9] Jia S La D Ma X 2018 Comput. Phys. Commun. 225 166 https://doi.org/10.1016/j.cpc.2017.12.009
[10] Jia S 2018 Comput. Phys. Commun. 232 264 https://doi.org/10.1016/j.cpc.2018.06.005
[11] Poisson E 2004 Living Rev. Relativ. 7 6 https://doi.org/10.12942/lrr-2004-6
[12] Friedlander F 1975 The Wave Equation on a Curved Space-Time Cambridge Cambridge University Press
[13] Ottewill A C Wardell B 2011 Phys. Rev. D 84 104039 https://doi.org/10.1103/PhysRevD.84.104039
[14] Wardell B 2012 Green Functions and Radiation Reaction from a Space-Time Perspective Ph.D. Thesis Dublin University College Dublin
[15] Synge J L 1960 Relativity: the General Theory Amsterdam North-Holland Publishing
[16] Stephani H 1982 General Relativity Cambridge Cambridge University Press
[17] Hartle J B 2003 Gravity San Francisco Addison Wesley